package cn.edu.nju.ws.sview.reasoning.magicsets;

import cn.edu.nju.ws.sview.rdf.Resource;

/**
 * @author Gong Saisai
 * a magic predicate's arity equals  adorned predicate arity
 * the predicate 'symbol' is of type TemporaryResource
 */
public class MagicPredicate extends AdornedPredicate{
	public MagicPredicate(Resource resource, int arity,
			BoundFree[] adornment) {
		super(resource, arity, adornment);
	}
}
